В разделе 1 слабая аксиома уже была введена в качестве аксиомы непротиворечивости. — The weak axiom was already introduced in Section 1 as a consistency axiom.
Russian-English Dictionary "Microeconomics". 2014.
АКСИОМА — (от греч. axioma значимое, принятое положение) исходное, принимаемое без доказательства положение к. л. теории, лежащее в основе доказательств др. ее положений. Долгое время термин «А.» понимался не просто как отправной пункт доказательств, но и… … Философская энциклопедия
аксиома — Любое предложение с точным содержанием, утверждаемое в качестве такового авторитетным источником [ГОСТ 34.320 96] аксиома Предложение, принимаемое за истину без доказательств. Аксиомы являются исходными предложениями различных теорий. К аксиомам… … Справочник технического переводчика
Аксиома — (от греч. axioma значимость, требование) 1) (в математике) предложение, принимаемое без доказательства, рассматриваемое как исходное при построении той или иной математической теории. Система аксиом, являющаяся логическим фундаментом обоснования… … Начала современного естествознания
ВЫБОРА АКСИОМА — одна из аксиом теории множеств, гласящая: для всякого семейства Fнепустых множеств существует функция f такая, что для всякого множества Sиз Fимеет место (при этом f наз. функцией выбора на F). Для конечных семейств FВ. а. выводима из остальных… … Математическая энциклопедия
ПЯТЫЙ ПОСТУЛАТ — аксиома параллельности Евклида, через точку Рвне прямой АА в плоскости, проходящей через Ри АА , можно провести лишь одну прямую, не пересекающую АА . В Началах Евклида П. п. был приведен в следующей эквивалентной формулировке: И если прямая,… … Математическая энциклопедия
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… … Математическая энциклопедия
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия
Лобачевского геометрия — геометрическая теория, основанная на тех же основных посылках, что и обычная Евклидова геометрия, за исключением аксиомы о параллельных, которая заменяется на аксиому о параллельных Лобачевского. Евклидова аксиома о параллельных гласит:… … Большая советская энциклопедия
Геометрия Лобачевского — (1) евклидова геометрия; (2) геометрия Римана; (3) геометрия Лобачевского Геометрия Лобачевского (гип … Википедия
Лобачевского геометрия — Геометрия Лобачевского (гиперболическая геометрия) одна из неевклидовых геометрий, геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия, за исключением аксиомы о параллельных, которая заменяется на… … Википедия
Плоскость Лобачевского — Геометрия Лобачевского (гиперболическая геометрия) одна из неевклидовых геометрий, геометрическая теория, основанная на тех же основных посылках, что и обычная евклидова геометрия, за исключением аксиомы о параллельных, которая заменяется на… … Википедия
